$\forall$$a$, $b$, $n$:$\mathbb{Z}$. \{($a$ $<$ $b$) $\Leftarrow\!\Rightarrow$ (($a$+$n$) $<$ ($b$+$n$))\}